$\forall$${\it nms}_{1}$, ${\it nms}_{2}$:(MaName List). Dec(l\_disjoint(MaName;${\it nms}_{1}$;${\it nms}_{2}$))